Science of Logic

Results: 5317



#Item
31

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic CONCUR 2017, Berlin, Germany Ki Yung Ahn, Ross Horne and Alwen Tiu School of Computer Science and Engineering, Nanyang Technological University,

Add to Reading List

Source URL: www.ntu.edu.sg

- Date: 2017-09-05 03:25:12
    32

    Simulation Logic William L. Harrison Dept. of Computer Science University of Missouri Columbia, Missouri, U.S.A.

    Add to Reading List

    Source URL: www.nrl.navy.mil

    - Date: 2013-07-02 16:22:06
      33

      Jeffrey A. Barrett Logic and Philosophy of Science University of California, Irvine Irvine, CAFebruary 2017

      Add to Reading List

      Source URL: www.socsci.uci.edu

      - Date: 2017-02-04 02:20:06
        34

        On the Unusual Effectiveness of Logic in Computer Science  Joseph Y. Halpern Robert Harper Neil Immerman

        Add to Reading List

        Source URL: www.cs.upc.edu

        - Date: 2008-10-15 05:37:21
          35

          Applied Evolutionary Epistemology: A new methodology to enhance interdisciplinary research between the life and human sciences Nathalie Gontier (Centre for Logic and Philosophy of Science, Vrije Universiteit Brussel)

          Add to Reading List

          Source URL: kairos.fc.ul.pt

          - Date: 2013-01-07 10:28:37
            36

            Open Questions in Non-Classical Logic, Mathematics and Philosophy Can BA¸ SKENT Department of Computer Science, University of Bath

            Add to Reading List

            Source URL: canbaskent.net

            - Date: 2016-01-18 05:14:20
              37

              Towards Paraconsistency Game Theory Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

              Add to Reading List

              Source URL: canbaskent.net

              - Date: 2016-03-28 08:06:18
                38

                Fair Cycle Detection using Description Logic Reasoning Shoham Ben-David1 , Jeffrey Pound1 , Richard Trefler1 , Dmitry Tsarkov2 , Grant Weddell1 1. David R. Cheriton School of Computer Science, University of Waterloo 2. S

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2009-07-07 04:46:34
                  39

                  Global Caching, Inverse Roles and Fixpoint Logics Rajeev Gor´e Logic and Computation Group College of Engineering and Computer Science The Australian National University

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2009-07-07 04:46:34
                    40

                    Meditations on Subset Space Logic Can Ba¸skent Department of Computer Science Graduate Center, the City University of New York // www.canbaskent.net

                    Add to Reading List

                    Source URL: canbaskent.net

                    - Date: 2014-03-06 23:50:53
                      UPDATE